Automated Parallelization of Discrete State-space Generation
نویسنده
چکیده
منابع مشابه
Admissibility analysis for discrete-time singular systems with time-varying delays by adopting the state-space Takagi-Sugeno fuzzy model
This paper is pertained with the problem of admissibility analysis of uncertain discrete-time nonlinear singular systems by adopting the state-space Takagi-Sugeno fuzzy model with time-delays and norm-bounded parameter uncertainties. Lyapunov Krasovskii functionals are constructed to obtain delay-dependent stability condition in terms of linear matrix inequalities, which is dependent on the low...
متن کاملAutomated Parallelization of Discrete State-Space Generation
We consider the problem of generating a large state-space in a distributed fashion. Unlike previously proposed solutions that partition the set of reachable states according to a hashing function provided by the user, we explore heuristic methods that completely automate the process. The rst step is an initial random walk through the state space to initialize a search tree, duplicated in each p...
متن کاملDiscrete Event Simjlation of Distiiibut%d System Using Stochastic Petri Nets
Stochastic Petri Nets (SPNs) have recently emerged as a principal performance modelling tool for distributed systems such as multiprocessors, local area networks, and automated manufacturing systems. Since the use of SPNs as an analytical tool is based on the generation of the entire state space, the technique becomes intractable for large systems. In such cases, discrete event simulation is th...
متن کاملPrototype-Based Tests for Hybrid Reactive Systems
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end of both validating the model and also verifying an actual system. In the automotive domain many systems are reactive and exhibit continuous as well as discrete dynamics. This leads to an explosion of the model state spa...
متن کاملAre Autonomous Mobile Robots Able to Take Over Construction? A Review
Although construction has been known as a highly complex application field for autonomous robotic systems, recent advances in this field offer great hope for using robotic capabilities to develop automated construction. Today, space research agencies seek to build infrastructures without human intervention, and construction companies look to robots with the potential to improve construction qua...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002